| emsoft | participants

Hadi Ravanbakhsh

EMSOFT 2016: 16th International Conference on Embedded Software

Robust Controller Synthesis of Switched Systems using Counterexample Guided Framework

Hadi Ravanbakhsh and Sriram Sankaranarayanan

EMSOFT 2014: 14th International Conference on Embedded Software

Infinite Horizon Safety Controller Synthesis Through Disjunctive Polyhedral Abstract Interpretation

Hadi Ravanbakhsh and Sriram Sankaranarayanan